the substitution rule